More from this Author

Types for Proofs and Programs

by TYPES '99 Staff, Thierry Coquand (Editor), Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan H. Smith (Editor)